Every nonempty set of positive integers contains a smallest member.